Simone de Beauvoir i brev och dagbok

Sjukdomar och dödsorsaker hos kameldjur i Sverige

Schack i allmänhet och Deep Blue i synnerhet

Axiomatisations of Weak Equivalences for De Simone Languages

Aceto, Bloom and Vaandrager proposed in ABV92] a procedure for generating a complete axiomatisation of strong bisimulation for process languages in the GSOS format. However, the choice operator +, which the procedure uses, as well as other auxiliary GSOS operators, which it introduces to obtain a nite axiomatisation, do not preserve many of weak equivalences. We propose a modiication of this pr...

Board Simone

Consolidated Enterprise IT solutions have proven to enhance business efficiency when significant fractions of local computing activities are migrating away from desktop PCs and departmental servers and are being integrated and packaged on the Web into “the computing cloud.” Whether referred to Grid, Utility or Cloud Computing, the idea is basically the same: instead of investing in and maintain...

Till Axel och Knut

Norlund, F. 2018. Psychological distress in coronary heart disease. Risk indicators, treatment and cardiovascular prognosis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Medicine 1412. 75 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-513-0192-1. The aims of this thesis were to: (1) explore factors associated with emotional distress; (2) investigate psy...